An algorithm for multiple output minimization

Absfracf-A computer-aided design procedure for the minimization of multiple output Boolean functions as encountered in the synthesis of VLSI logic circuits i s presented in this paper. A fast technique for the determination of essential prime cubes without generating all the prime cubes i s among the salient features of the algorithm. The paper also describes a new class of selective prime cubes called valid selective prime cubes. This new class of prime cubes has proved to be a very powerful tool inasmuch as it guides the algorithm to the minimal set of selective prime cubes while encountering either an independent chain or an interconnected chain of cyclic prime cubes. I n many cases, this avoids branching which is computationally an expensive operation. The algorithm does not generate either the complement or all the prime cubes of the functions. Therefore, it is well suited to minimize functions with large complement size and/or very high number of prime cubes. The algorithm has been implemented in Pascal and evaluated using a large number of programmable logic arrays (PLA's) including those of the Berkeley PLA test set. Results of comparison with ESPRESSO I1 111 and McBOOLE [2] indicate that the program produces absolute minimal solution in most of the cases and near minimal in a few others.